class Main(@get:JvmName("getter") @set:JvmName("setter") var a<caret>: Int)